1. A recursive introduction to the theory of computation
پدیدآورنده: Carl H. Smith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
2. An introduction to the general theory of algorithms
پدیدآورنده: Machtey, Michael.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
3. Introduction to recursive programming
پدیدآورنده: Manuel Rubio-Sanchez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Recursive programming,Textbooks ، Computer programming,Textbooks ، Computer algorithms
رده :
QA
76
.
645
.
R82I5
4. Recursive techniques in programming
پدیدآورنده: [by] D. W. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Recursive programming.
5. Recursive techniques in programming
پدیدآورنده: [by] D. W. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Recursive programming.
6. Theory of program structures
پدیدآورنده: / Sheila A. Greibach
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
7. Theory of program structures
پدیدآورنده: / By Sheila Greibach,Greibach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
8. Theory of program structures : schemes, semantics, Verification
پدیدآورنده: Sheila A, Greibach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Recursive programming,، Computer programs
رده :
QA
76
.
L28
Vol
.
36
9. Theory of program structures : schemes, semantics, verification
پدیدآورنده: Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
10. معرفی بازگشتی نظریه محاسبات
پدیدآورنده: / تالیف کارل اسمیت,عنوان اصلی: A recursive introduction to the theory of computation, 1994.,اسمیت,Smith
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: برنامه‌نویسی,Computer programming,توابع بازگشتی,Recursive functions, -- داده‌پردازی, -- Data processing,a01,a03,a03
رده :
QA
۷۶
/
۶
/
الف
۴۷
م
۶ ۱۳۹۴
